Object type

Results: 830



#Item
381Object-oriented programming / Type theory / Data types / Programming paradigms / Functional languages / Dynamic dispatch / Type system / OCaml / Mixin / Software engineering / Computer programming / Computing

Typed Compilation Against Non-Manifest Base Classes Christopher League Stefan Monnier

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:13
382Data types / Object-oriented programming / Type theory / Programming paradigms / Filesystem permissions / Type system / C Sharp / Ada / Plaid / Computing / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2011-02-18 21:51:37
383C++ / Data types / Object-oriented programming / Build automation / Compiling tools / Python / SCons / D / Array data type / Software engineering / Computing / Computer programming

IUCr Computing Commission Newsletter

Add to Reading List

Source URL: cci.lbl.gov

Language: English - Date: 2011-01-13 22:26:31
384Computing / Data types / Type theory / Programming paradigms / Abstraction / Data management / Inheritance / Subtype polymorphism / Smalltalk / Software engineering / Object-oriented programming / Computer programming

Data Abstraction and Hierarchy * This research was supported by the NEC Professorship of Software Science and Engineering. Barbara Liskov Affiliation: MIT Laboratory for Computer Science Cambridge, MA , 02139

Add to Reading List

Source URL: rendezvouswithdestiny.net

Language: English - Date: 2010-04-26 20:16:25
385Object-oriented programming / Data types / Cross-platform software / Method / Scripting languages / JavaScript / Object / Type system / Property / Software engineering / Computing / Computer programming

An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß⇤ Christian Wirth†

Add to Reading List

Source URL: www.chrisseaton.com

Language: English - Date: 2015-03-15 13:53:31
386Object-oriented programming / Type theory / Data types / Programming paradigms / Denotational semantics / Modal logic / Actor model / Object-oriented design / Method overriding / Software engineering / Computing / Computer programming

Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
387Type theory / Type system / Ruby / Programming language / Strong typing / Variable / Type safety / Object-oriented programming / Dynamic programming language / Software engineering / Computing / Programming language theory

Work In Progress: an Empirical Study of Static Typing in Ruby Mark T. Daly Vibha Sazawal Jeffrey S. Foster

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2010-08-03 17:46:51
388Data types / Object-oriented programming / Type theory / Abstract data types / Programming paradigms / Type system / Abstraction / Set / Abstract type / Software engineering / Computing / Computer programming

On Understanding Data Abstraction, Revisited William R. Cook University of Texas at Austin [removed] Abstract

Add to Reading List

Source URL: www.cs.utexas.edu

Language: English - Date: 2015-04-07 18:47:44
389Data types / Cross-platform software / Procedural programming languages / Type theory / Scripting languages / Anonymous function / C / Foreach loop / Scope / Software engineering / Computing / Computer programming

FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS James Gil de Lamadrid Bowie State University, 14000 Jericho Pk Rd, Bowie, MD[removed]jgildelamadr

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
UPDATE